a = b(mod c)